Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
171	Models of Computation Lecture 4: Nondeterministic Automata [Fa’14] Caveat lector! This is the first edition of this lecture note. Some topics are incomplete, and there are almost certainly a few serious errors. Please Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:08 Applied mathematics Nondeterministic finite automaton Powerset construction Deterministic finite automaton Regular expression Finite-state machine Regular language Symbol String Automata theory Theoretical computer science Computer science
172	Models of Computation Lecture 3: Finite-State Machines [Fa’14] Caveat lector! This is the first edition of this lecture note. A few topics are missing, and there are almost certainly a few serious errors. Please send Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:05 Computer science DFA minimization Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Automata theory Models of computation Theoretical computer science
173	PDF Document Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:04 Software engineering Theoretical computer science Computing Automata theory Pattern matching Regular expression
174	PDF Document Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-09-30 12:56:18 Computer Computing Automata theory
175	Multi-Core Emptiness Checking of Timed B¨ uchi ∗ Automata using Inclusion Abstraction Alfons Laarman1 , Mads Chr. Olesen2 , Andreas Dalsgaard2 , Kim G. Larsen2 , and Jaco van de Pol1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2013-06-13 05:44:50 Models of computation Deduction Entailment Logical consequence Metalogic S0 Cyan Advanced Configuration and Power Interface Finite-state machine Color Logic Automata theory
176	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
177	The Relationship between One-dimensional Continuous Cellular Automata and One-dimensional Nonlinear Dynamical Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Orbit Stability theory Diagram Structure Nature Science Dynamical systems Systems Systems theory
178	A Fixpoint Calculus for Local and Global Program Flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:53 Formal languages Metalogic Automata theory Kripke semantics Sheaf theory Partition Nested word Well-formed formula Model theory Logic Mathematics Mathematical logic
179	Curriculum Vitae Rupak Majumdar Department: Email: Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:15:23 Principles of Programming Languages Max Planck Institute for Software Systems International Colloquium on Automata Languages and Programming Lecture Notes in Computer Science Computing CHIC Computer science Automata theory Association for Computing Machinery
180	The Enumeration of Preimages and Gardens-of-Eden in Sequential Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Mathematics Automata theory De Bruijn graph Applied mathematics

UPDATE